Büchi automaton

Results: 70



#Item
11JMLR: Workshop and Conference Proceedings 34:182–192, 2014 Proceedings of the 12th ICGI An example distribution for probabilistic query learning of simple deterministic languages

JMLR: Workshop and Conference Proceedings 34:182–192, 2014 Proceedings of the 12th ICGI An example distribution for probabilistic query learning of simple deterministic languages

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2014-08-26 06:56:50
12Synthesis of Reactive Systems Jens Regenberg <> IV

Synthesis of Reactive Systems Jens Regenberg <> IV

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2008-09-23 06:27:20
13Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland

Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2010-08-02 10:05:45
14A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany

A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2013-06-13 07:29:10
15Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache

Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-05-29 11:02:51
16Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany

Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-05-29 11:02:30
17languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013

languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-11-18 06:29:48
18Toward a structure theory of ω-regular trace languages Namit Chaturvedi LaBRI, Bordeaux 11 Mar. 2014

Toward a structure theory of ω-regular trace languages Namit Chaturvedi LaBRI, Bordeaux 11 Mar. 2014

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2014-03-17 08:01:44
19Toward a structure theory of ω-regular trace languages Namit Chaturvedi Frontiers of Recognizability 29 Apr. 2014

Toward a structure theory of ω-regular trace languages Namit Chaturvedi Frontiers of Recognizability 29 Apr. 2014

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2014-04-30 05:42:23
20Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract

Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract

Add to Reading List

Source URL: mi.eng.cam.ac.uk

Language: English - Date: 2015-04-17 05:58:29